- first-order representation
- элементарное представление
English-Russian dictionary of computer science and programming. 2013.
first-order representation
Смотреть что такое "first-order representation" в других словарях:
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Order of the Star of India — Insignia of a Knight Grand Commander of the Order of the Star of India Awarded by the Queen of the United Kingdom Type Order … Wikipedia
Representation theory of finite groups — In mathematics, representation theory is a technique for analyzing abstract groups in terms of groups of linear transformations. See the article on group representations for an introduction. This article discusses the representation theory of… … Wikipedia
First Council of Constantinople — For the church council of Constantinople in 359, see First Council of Constantinople (360). 9th century Byzantine manuscript illumination of I Constantinople Homilies of Gregory Nazianzus, 879 882 … Wikipedia
Order (mathematics) — Contents 1 In algebra 2 In arithmetic 3 In analysis 4 … Wikipedia
Order theory — For a topical guide to this subject, see Outline of order theory. Order theory is a branch of mathematics which investigates our intuitive notion of order using binary relations. It provides a formal framework for describing statements such as… … Wikipedia
Order of the Coif — The Order of the Coif is an honor society for United States law school graduates. A student at an American law school who earns a Juris Doctor degree and graduates in the top 10 percent of his or her class is eligible for membership if the… … Wikipedia
Order of the Bath — Badge of a Companion of the Order of the Bath (Military Division) Awarded by the Queen of the United Kingdom Motto TRIA IUNCTA IN UNO … Wikipedia
Order of Saint Hubert — Collar of the Grand Master, plus exemplars of the Knights Cross, Order of Saint Hubert Awarded by Duke of Bavaria Type … Wikipedia
Representation (arts) — Representation describes the signs that stand in for and take the place of something else.Mitchell, W. 1995, Representation , in F Lentricchia T McLaughlin (eds), Critical Terms for Literary Study , 2nd edn, University of Chicago Press, Chicago]… … Wikipedia
Order of the Garter — Arms of the Order of the Garter Awarded by the Sovereign of the United Kingdom … Wikipedia
